Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
451	Mind the Gap: Artifacts vs Insights in PL Theory Nada Amin∗ and Tiark Rompf ∗‡ ‡ ∗ Add to Reading List Source URL: popl-obt-2014.cs.brown.edu Language: English - Date: 2014-01-22 20:32:50 Type theory Logic in computer science Calculus Twelf
452	408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-04-24 13:47:47 Theoretical computer science Formal methods Type theory Algorithms Programming paradigms Finite-state machine Algorithm Declarative programming HindleyMilner type system RANSAC Monad
453	Do Not Blame Users for Misconfigurations Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan∗ , Yuanyuan Zhou, Shankar Pasupathy† University of California, San Diego, ∗ University Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-11-10 14:09:17 Computer data Type theory Cross-linked polyethylene Electricity Plastics Configuration file Parameter Go Symbolic execution Default Type inference
454	PDF Document Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-11-12 18:17:11 Software engineering Programming language theory Software NATO CENTAG wartime structure Gradual typing Factorization Type system Racket
455	COMP 520 FallType checking Type checking (1) Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-15 11:10:41 Data types Software engineering Type theory Computing Programming language theory Program analysis Type system Const
456	1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:31 Software engineering Computer programming Programming language theory Type theory Data types Functional languages Functional programming Procedural programming languages Standard ML Algebraic data type Tagged union Unification
457	Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:34 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Eval Standard ML Anonymous function HindleyMilner type system OCaml Polymorphism
458	On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-08-04 23:16:28 Software engineering Type theory Object-oriented programming Computing Computer programming Data types Polymorphism Functional programming Covariance and contravariance Subtyping Generalized algebraic data type Variance
459	An Object Storage Model for the Truffle Language Implementation Framework Andreas W¨oß∗ Christian Wirth† Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Software engineering Computing Computer programming Data types Object-oriented programming Type theory Cross-platform software Immutable object JavaScript Const Method Java

UPDATE